Testing Measurement in Real -Time Reactive Systems

In the context of safety-critical systems, which are real-time reactive systems, testing process must be integrated with the software development process as a whole, not just with the end product. Consequently, measuring the efficiency of the testing process emerges as an important issue. To be accurate and meaningful, both the measurement and the components to be measured must be precisely described. The measurement should conform to the axioms of measurement theory, and the software development process should be grounded on rigorous formalism. In this paper we introduce testability and test adequacy measurement for measuring the efficiency of testing process integrated into a rigorous environment for developing real-time reactive systems. The measurement method is illustrated with Train-Gate-Controller design, a bench-mark example in real-time system design.